Implementation and improvements of affine arithmetic
نویسندگان
چکیده
Affine arithmetic is a well-known tool to reduce the wrapping effect of ordinary interval arithmetic. We discuss several improvements both in theory and in terms of practical implementation. In particular details of INTLAB’s affine arithmetic toolbox are presented. Computational examples demonstrate advantages and weaknesses of the approach.
منابع مشابه
YalAA: Yet Another Library for Affine Arithmetic
In this paper, we present YalAA, a new library for affine arithmetic. Recently, affine arithmetic has been given increased attention even from outside the traditional verified computing community, for example, in the areas of circuit design, GPU based rendering of implicit objects and global optimization. Furthermore, several improvements to the original affine model were proposed. However, a f...
متن کاملAffine Arithmetic
We give a formalization of affine forms [1, 2] as abstract representations of zonotopes. We provide affine operations as well as overapproximations of some non-affine operations like multiplication and division. Expressions involving those operations can automatically be turned into (executable) functions approximating the original expression in affine arithmetic. Moreover we give a verified im...
متن کاملA New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using affine arithmetic. The method is compard to simulation based on interval arithmetic or Monte-Carlo method and goes into details of the shortcomings of interval arithmetic. An introduction to affine arithmetic is given and...
متن کاملEfficient Static Analysis of Fixed-Point Error in DSP Applications via Affine Arithmetic Modeling
Translating digital signal processing (DSP) software into its finite-precision hardware implementation is often a timeconsuming task. We describe a new static analysis technique that can accurately analyze finite-precision effects arising from fixed-point implementations of DSP algorithms. The technique is based on recent interval representation methods from affine arithmetic, and the use of ne...
متن کاملAffine Arithmetic and Applications to Real-Number Proving
Accuracy and correctness are central issues in numerical analysis. To address these issues, several self-validated computation methods have been proposed in the last fifty years. Their common goal is to provide rigorously correct enclosures for calculated values, sacrificing a measure of precision for correctness. Perhaps the most widely adopted enclosure method is interval arithmetic. Interval...
متن کامل